Rocha (nombre propio): Ciudad del Uruguay capital del departamento homónimo.