China Mars mission data offers evidence for ancient ocean