Is there an official whois server for .PR domains?

Yes, it is whois.nic.pr

 

.pr Domain Registration.pr Whois Search