20160714 world.middle-east: Top IS commander killed: Jihadist-linked agency