Jejudo is part of South Korea.