Wanting to give the DOGE folks the benefit of the doubt, I decided to look for military spending. Per Wikipedia, there should be ~400k active duty folks in the

Wanting to give the DOGE folks the benefit of the doubt, I decided to look for military spending. Per Wikipedia, there should be ~400k active duty folks in the US Army (not counting other military branches). These are definitely under the Executive branch, but seem to be absent from the data???