Minas (nombre propio): Ciudad del Uruguay capital del departamento de Lavalleja.