“The gravity mapping data indicated that the ice sheet at Enceladus’ south pole is about 20 miles thick, followed by a watery ocean six miles deep, and then a rocky core.”