EEUU duplicará su presupuesto para combatir al Estado Islámico, hasta los 7.500 millones de dólares