Military intervention against ISIL