Indian Ocean Gravity Hole Might Have Been Formed After the Death of an Ancient Ocean