<human>:  What was the name of the CIA operative who died in the attack on the US consulate in Benghazi?
<bot>: The CIA operative who died was Glen Doherty. He was a former Navy SEAL who had been working for the CIA for a few years. He was killed in the attack on the CIA annex in Benghazi.