In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico
(community.openstreetmap.org)
Looking at it this way, I'd call the "mainland" part West Taiwan
Looking at it this way, I'd call the "mainland" part West Taiwan