“Chinese government export data for a recent year showed a value $112 billion higher than the value of the same goods declared to the U.S. government upon import.”