In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico
(community.openstreetmap.org)
Taiwan is the island, also known as Formosa, and it is ruled by the Republic of China. Separately, but still part of that state, there's the autonomous mainland provinces, calling themselves the People's Republic of China, a rebel faction which somehow steadfastly refuses to declare independence.