“On Friday, June 28, TSA officers at IAD (the three-letter code for Dulles) detected a .380 caliber firearm during passenger security screening."