What will happen to Mars if you open a portal there that pumps water from the Martian cavity of the earth