To designate the Washington Dulles International Airport in Virginia as the “Donald J. Trump International Airport”.

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”.

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.