The DisplayPort requirement for the laptop might be satisfied with a USB-C (alternate mode) to DisplayPort (female) adapter. The port on the left side of the laptop supports USB-C alternate mode.
But be sure to get one that supports 4K at 60 Hz, to ensure it uses 4 lanes, not just two. So, a USB-C docking station will likely work for this because the bandwidth it too low for two 2k signals. The HP Reverb G2’s USB cable can then be plugged in to the other side.
(I’m not affiliated to the Amazon shop, just posting it as an example).