(a) Designation The Washington Dulles International Airport in Virginia shall after the date of the 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.