“The U.S. defense budget is approximately one trillion dollars.”