Army killed the fighters with the help of an international partner that carried out air strikes.