۳ میلیارد سال قبل در مریخ یک اقیانوس بزرگ وجود داشت