مریخ باستانی، اقیانوس داشته است