The Wall Street Journal: Trade war with China didn’t boost U.S. manufacturing