A Huge Ocean Likely Covered More Than a Third of Mars 3.5 Billion Years Ago