The ocean - known as Deuteronilus - would have existed roughly 3.5 to four billion years ago, a time when Mars had a thicker ...