Not necessarily. A (small) chunk of that money might be booked as operating costs against the Defense Department's budget, but it is likely this will be considered a non-budgeted conflict, payed for by act of Congress. Which is why Congress is/was upset that they were insufficiently consulted before the military…