“What other ports are on the monitor besides USB-C and VGA? Is there an HDMI port as well?”