Dürfte über die Umbenennung hocherfreut sein: US-Präsident Donald Trump.