Top ISIL leader in Libya killed by US strike: Pentagon – Al Jazeera English