Rocha (nombre propio): Departamento de Uruguay ubicado al este del país.