¿Quién fue el Marinerito Ramiré? Un personaje muy particular de uno de los villancicos de esta Navidad