Is there an official whois server for .TC domains?

Yes, it is whois.nic.tc

 

.tc Domain Registration.tc Whois Search