US tariff revenues are way up, but China isn’t paying for them