(Represión ocurrida en julio 1980)