Con frecuencia se le llama "Pino del Rey Guillermo", sin embargo no es un pino.