Is there an official whois server for .KR domains?

Yes, it is whois.kr

 

.kr Domain Registration.kr Whois Search