Mission 115 was the name given by DOI-CODI (an army repression body during the military dictatorship) to a supposed "vigilance" operation in Rio de Janeiro during a musical show at Riocentro on May 1, 1981. In fact, was …