That is among the significant modifications to the U.S. State Department’s online fact sheet on China, which drops the country’s official name, the People’s Republic of China (PRC), in favor of just ...