Military intervention against Islamic State