Un batallón de soldados ejecutó la orden.