Local Internet Registries offering service in Korea, Democratic People's Republic Of