When Earth formed billions of years ago, its metallic core was wrapped in a global ocean of molten rock, which eventually ...