20150712 world.rest-of-world: Senior leader of Tunisian Qaeda-linked group killed: official