Y'all act like the administration didn't rename the Gulf of Mexico like it changes the physical gulf or ownership status. Or direct museums about how to portray history. Or, historically, sharpie on a weather map. Removing or changing information as they find convenient is entirely reasonable to expect from the admin.
That said, they rolled it back, so likely someone effed up.