That's funny but $200B seemed way too small. Then I found this:
https://www.pgpf.org/chart-archive/0053_defense-comparison
"The United States spends more on national defense than China, India, Russia, United Kingdom, Saudi Arabia, Germany, France, Japan, and South Korea — combined."
!?
And $200B is inside the consensus estimate of $200B to $300B. Wow.