report: algerian militant killed in u.s. strike targeting al qaeda operatives in libya