The cash from the ocean will go to Mars.