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

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 https://www.usaspending.gov/explorer/agency