Lava lakes are found on Earth and Jupiter's moon Io. Subsurface oceans or seas occur on the other Galilean moons of Jupiter, Saturn's moons Titan and Enceladus, and are suspected to exist on the some of Saturn's other moons, the asteroid Ceres, the larger trans-Neptunian objects, and ice planets in planetary systems. Recent analysis of the interior of Ganymede (the largest moon of Jupiter), taking into account the effects of salt, suggests that it and some of the other icy bodies may not have a single interior global ocean but several stacked ones, separated by different phases of ice, with the lowest liquid layer adjacent to the rocky mantle below.[1][2]