From Wikitravel

What's the best name for this article? Should it be disambiguated to prevent confusion over the island and the city (Not that scrolling down wouldn't reveal which article deals with which locality)? -- Andrew Haggard (Sapphire) 09:24, 2 July 2006 (EDT)

I think the current names are correct. Jeju is mostly known for the island as a whole, which is popular with beachgoers and honeymooners. Jeju City is an adminstrative center and not really a tourist destination. Jpatokal 10:02, 2 July 2006 (EDT)