WSJ: Pentagon Seeks $80B More for Iran War