The dent in Earth's gravitational field created by the death of an ancient ocean