The rest was allocated to the US Department of Defense as a supplement to its annual budget, which has been between $500 and $650 billion in recent years.
Остальные средства были выделены Министерству Обороны США в качестве дополнения к его ежегодному бюджету, который составлял $500-$650 миллиардов в течение последних нескольких лет.