Pentágono pide $7.500 millones para luchar contra ISIS