“The US Army's budget currently constitutes 21% of the total US defense budget.”