Diez milicianos del Estado Islámico muertos en una operación militar en el oeste de Irak