A US air strike on a jihadist training camp in Libya killed dozens of people, probably including a senior Islamic State group operative behind attacks in Tunisia.
