"If Mimas has an ocean, it represents a new class of small, 'stealth' ocean worlds with surfaces that do not betray the ocean's existence."