Qué otros nombres ha tenido: "Real de Minas; Montañas de Santo Domingo; San Miguel de Santo Domingo."