A USB-C to HDMI adapter for connecting devices to external displays