(a) Designation The Palm Beach International Airport in Florida shall after the date of enactment of this Act be known and designated as the Donald J. Trump International Airport. (b) Reference Any reference in any law, regulation, map, document, paper, or other record of the United States to the airport referred to in subsection (a) shall be considered to be a reference to the Donald J. Trump International Airport. (c) Identifying letters The Administrator of the Federal Aviation Administration shall work with the International Air Transport Association, the International Civil Aviation Organization, the Location Identifier of the Federal Aviation Administration, the World Meteorological Organization, and any other organization or entity that assigns numeric or alphabetical identifiers to geographically specific locations to change the identifying letters of the airport referred to in subsection (a) as DJT.