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.
El resto fue asignado al Departamento de Defensa como complemento de su presupuesto anual, que ha sido entre 500.000 y 650.000 millones en los últimos años.