Otras fuentes hablan de 1.600 ejecutados.