Pentagon seeks $80 billion to cover Iran war costs, reports say