One of the aircraft carrying the Salvadoran troops, a U.S. C-130 military transport, was provided by the Pentagon at the request of the U.S. State Department.