Ecos del Rocío. Estando un marinerito (villancico)