This is true; however, their agency budget is not part of the DoD's budget and is not included in the reported "total" for DoD.

At least not in the data set I use:

https://www.usaspending.gov/explorer/agency