Is there an official whois server for .ES domains?

Yes, it is whois.nic.es

 

.es Domain Registration.es Whois Search