Российские ученые доказали существование древнего океана на Марсе