Libyen: Belmokhtar offenbar bei US-Kommandoaktion getötet