Elsewhere, one learns that the U.S. trade deficit in goods with China was not only an all-time record, but the largest between any two nations in the history of the world—$315 billion.

China now exports 6.3 times as much in manufactured goods to the United States, $417 billion’s worth, as we export to China.

Needs no emphasis.