It was measured with at least two different spectrometers: the Curiosity rover measured it with a laser spectrometer, and Mars Express with its PFS. That leaves little doubt.