I got a laptop with a USB-C port which supports external monitors. Does anyone know what I would need to use my iPad Pro as a second monitor with this port? Or would I have to use the HDMI port with peripherals like in the link?