The variant knot names are included in the list with redirecting links to the most formal name. (approximately 300 knots are listed at this time)
... a city of about 200,000 which has a large Korean minority who immigrated to the island by their free will or were brought for compulsory service during World War II, ...