A trade war would be bad, but Trump does have a point