EEUU ha gastado 6.430 millones de euros en operaciones contra el Estado Islámico en Siria e Irak