This bill would rename Washington Dulles International Airport in Virginia as “Donald J. Trump International Airport.” It also says that any mention of the old name in U.S. laws, regulations, maps, or other official records will count as referring to the new name. A summary confirms the change is simply to redesignate the airport’s name.

• Who is affected: Travelers, airlines, and agencies that use the airport’s name on tickets, maps, and official documents.
• What changes: The airport’s official name would become “Donald J. Trump International Airport,” and federal references would use that name .
• When: After the bill becomes law, the new name would take effect.