Certainly not _all_ of it, but a few billion at least. for the curious: https://www.usaspending.gov/search?hash=5ec35bf87ec1fd63d28d35bb7628e2b5 https://www.u

Certainly not _all_ of it, but a few billion at least. for the curious: https://www.usaspending.gov/search?hash=5ec35bf87ec1fd63d28d35bb7628e2b5 https://www.usaspending.gov/search?hash=5ec35bf87ec1fd63d28d...