How does ocean water leave the ocean?