Hasta 7.000 milicianos de Estado Islámico han muerto en los bombardeos aliados