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.
Zbytek putoval na americké ministerstvo obrany jako doplněk k rozpočtu, jehož objem se v posledních letech pohyboval mezi 500 a 650 miliardami dolarů.