مریخ ۳.۵ میلیارد سال قبل میزبان یک اقیانوس بزرگ بوده است