North Korea hasn’t registered or used its Internet domain designation (.kp)