The ocean deep inside the Earth