What is another name for the Republic of China