An underground Martian ocean could hold enough liquid to cover the Red Planet with a mile of water