What is the port to the right on the two USB C ports? To the left of the RJ45. (ThinkPad T480s with integrated graphics.)

Edit to add: thanks in advance!