Massive Mars Dust Storms Might Have Stripped Away an Ocean’s Worth of Water