I wonder if name changes like this one, and Gulf of America, are reversible with a democrat as the next president? My hope is for the next democrat president on the first day of office, to undo everything that's possible by executive order.
Even this change isn't official. The law says it needs congressional approval. So expect a lawsuit from the Kennedys or someone soon.