Planetary ocean