John> The way the crust is rotating now there will be a negative leap
 John> second on June 30, 2031.

The lack of any leap second (positive or negative) on Jun 30 2031 has
already been formally announced:

https://datacenter.iers.org/data/latestVersion/16_BULLETIN_C16.txt