No recuerdo los detalles, pero había una canción infantil en la que salía el nombre. Se la oí a uno de los ancianos.