My 4K monitor was stuck at 60Hz until I learned which port (and which cable) actually carries 144Hz