emot honom , och Barrios fröjdade sig åt anblicken af 17 personer , som först piskades halft ihjäl och derpå skötos.