Indian Ocean gravity hole: The dent in Earth's gravitational field created by the death of an ancient ocean