The Ocean: An Encyclopedic Deep Dive