It is fairly simple to convert from DisplayPort to HDMI (computers with HDMI output ports by now make this happen internally) and dual-method DisplayPort outputs have developed-in adapters to output a HDMI signal to be used with passive DisplayPort to HDMI adapters. Somebody is probably in a very lab at https://usbctohdmi90875.bloggosite.com/32881552/new-step-by-step-map-for-how-to-use-usb-c-to-ethernet-adapter