That is, if you’re willing to wait 10,000 years for the ocean to reach it.