> with a $20 billion budget this year and roughly 4% of the US GDP during the Cold War
Just a minor note that it wasn't 4% (of US spending, not of GDP) for the bulk of the Cold War. It looks like it was only above 3% of federal spending for 4 years :