Is there an official whois server for .SH domains?

Yes, it is whois.nic.sh

 

.sh Domain Registration.sh Whois Search