Whether or not an ocean ever existed on Mars has been debated for decades. China's Zhurong rover has recently found ocean sedimentary rocks for the first t