The Pentagon said a top leader of the Islamic State extremist group in Libya was killed in a U.S. air strike overnight.
…