118 HR 7845 IH: To designate the Washington Dulles International Airport in Virginia as the “Donald J. Trump International Airport”. U.S. House of Representatives 2024-03-29 text/xml EN Pursuant to Title 17 Section 105 of the United States Code, this file is not subject to copyright protection and is in the public domain.

I118th CONGRESS2d SessionH. R. 7845IN THE HOUSE OF REPRESENTATIVESMarch 29, 2024Mr. Reschenthaler (for himself, Mr. Waltz, Mr. Ogles, Mr. Fleischmann, Mr. Gosar, Mr. Moore of Alabama, and Mr. Nehls) introduced the following bill; which was referred to the Committee on Transportation and InfrastructureA BILLTo designate the Washington Dulles International Airport in Virginia as the Donald J. Trump International Airport.

1.

Designation of Donald J. Trump International Airport

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