Mass-spectrometric determination of the thermodynamics of potassium hydroxide and minor potassiumcontaining species required in magnetohydrodynamic power systems