When the early Earth’s magma ocean crystallized 4.4 billion years ago, the deep mantle trapped an ocean’s worth of water, ...