Not sure it's really valid to call this "official". Trump can issue an executive order to the USGS to change names in the GNIS, but the use of USGS/GNIS data as the "official" name of things outside of the federal executive's own activities is itself just a matter of convention.