Pentagon sources say ISIS Libya leader liquidated