Naw. Take a look at the percentage of GDP the US spent on the military -- 3.3% according to wikipedia, higher than average overall but less than average if you look at other countries that are actively using their militaries -- not necessarily correct unless the mechanics of the tax system are known but it is a vastly closer approximation than what your comment implied.