Trivia Question

How much money did the US spend on the Korean War?