Mars may be drenched beneath its surface, with enough water hiding in the cracks of underground rocks to form a global ocean, new research suggests.