The full bombín experience.
No estoy a favor de que el día de la fiesta nacional sea el 12 de Octubre por el "descubrimiento de América", pero tampoco estoy a favor de perder un día de fiesta, así que me he puesto a buscar efémerides en Wikipedia y propongo que a partir de hora el 12 de Octubre sea fiesta nacional por esto: