Distintas visiones “Día del descubrimiento”: los nombres elegidos para hablar del feriado del 12 de octubre