"Ocean" discovered in the earth's mantle