Pentagon seeks $80bn for Iran and more