U.S. Tax Dollars at Work?