No one will check them. Arrivals from IAD directly deplane into level H and you board your flight to Turkey from there. No one will check their passport, and since its arriving from the US, there will be no security check either. At the gate for ADB they will check if you have the required papers to enter Turkey.