Moons potentially harbouring a global ocean are tending to become relatively common objects in the Solar System1. The presence of these long-lived global oceans is generally betrayed by surface modification owing to internal ...