For instance, Europa, one of Jupiter's Galilean moons, is believed to harbor a substantial lake beneath its frozen surface.