A user wants to connect their laptop to a 4K external monitor using a USB-C port that supports DisplayPort Alt Mode. The monitor has only HDMI input. Which adapter or cable is required?