How much trade is sailing around Trump’s China tariffs?