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

HR 7845 would rename Washington Dulles International Airport in Virginia as "Donald J. Trump International Airport" upon enactment. The bill requires all federal laws, regulations, maps, and official documents to reference the airport by its new name. This is a purely procedural designation affecting the airport's official title and federal record-keeping, with no associated policy changes or funding. The bill directly impacts how the airport is identified in government communications and records.