If there's not enough money from taxes, they will borrow/print more to cover total deficit (not specific to DoD). Otherwise, tax money will go directly to DoD.