Oceans formed by volcanic activity on Mars