El mismo nombre actual del puerto de Guadarrama fue compartido durante el franquismo con el de «Alto de los Leones de Castilla», que vino a convivir con el nombre propio tradicional de «Alto del León», para recordar la toma del puerto por una columna de tropas sublevadas provenientes de Valladolid en julio de 1936.