How big is the specific ocean?