Rio de Janeiro dödades vid revolten den 18 december 100 rebeller ; närmast påföljande dagar afrättades 21.