UVA-Built Instrument Plays Key Role in Mapping of Lava Lake on Jupiter Moon