CORALS: A Laser Desorption/Ablation Orbitrap Mass Spectrometer for In Situ Exploration of Europa | IEEE Conference Publication | IEEE Xplore