“Yes, Gaddafi was a ruthless dictator and supporter of terrorism during his 40-year reign in Libya, but he had become an ally of the United States in the fight against radical jihadism after 9/11.”