Китайски изследователи доказват съществуването на древен океан на Марс