S Korean travel system still using ‘China (Taiwan)’