That’s just federal spending. $17,000 sounds too high to just be federal taxes, it looks like federal + state/local. Accounting for that, military spending is closer to 10%.