The Interior Exploration using Seismic Investigations, Geodesy and Heat Transport mission was a robotic lander designed to study the deep interior of the planet Mars. From Wikipedia
A porous layer 5.4–8 kilometers beneath the Martian surface may hold enough water to cover the planet with a 520–780 meter deep ocean, raising questions about ancient life and future exploration.