Deep oceans of magma once sloshed about inside the crust of Mars, seismic measurements taken by NASA's InSight mission ...