"Up to 35 CIA operatives were working in the city during the
attack last September on the US consulate that resulted in the death of
Ambassador Chris Stevens and three other Americans, according to CNN." "The
television network said that a CIA team was working in an annex near the
consulate on a project to supply missiles from Libyan armouries to Syrian
rebels."