people\'s republic of china synonym