> "President Donald Trump signed an executive order for the name change in January, and the change entered the federal naming database, the Geographic Names Information System, this week."

Temporary federal change until the next president signs an executive order un-doing it.