“The Department of War has a budget of nearly one trillion dollars.”