Se calcula que unas 4000 personas fueron ejecutadas.