Compressible turbulence measurements in a high-speed high-Reynolds-number mixing layer