Edited by Dennis Kent, Lamont-Doherty Earth Observatory, Palisades, NY, and approved August 25, 2020 (received for review May 29, 2020) ...