Years after the death of the dictator, on 12 October 1988, the name was changed to "12 de Octubre".en.wikipedia.org/wiki/Hospital_Universitario_12_de_Octubre
National Day of Spain commemorates the discovery of the Americas by Christopher Columbus for Spain on 12 October 1492.en.wikipedia.org/wiki/National_Day_of_Spain