This is what happened to US government revenues from tariffs during Trump's first tradewar.