Encendido del alumbrado navideño de Puerto del Rosario.