That’s not necessarily a problem, Rodriguez says. A transient sea could have existed later in Mars’s life, perhaps an extremely salty one that resisted freezing. And even if a meteor smashed into an ice-capped ocean, it could still generate a tsunami. But more work is needed to figure out exactly how that would work.