“Can the USB-C port output video to an external display via USC-C to HDMI or mini-HDMI interface video cable? If so, where can I by a compatible cable?”