The DisplayPort works! I plugged The 8 Pro into my USB-C hub, it detected the ethernet, keyboard, mouse, and display!
Graphics came through perfectly.
Does anyone know how to rotate the desktop so it is the right way round on a vertical screen? (Yes, I tried rotating the phone, but that doesn't seem to change the output orientation.)