HRW dijo que muchos de los muertos fueron ejecutados por grupos militantes, algunos vinculados con al Qaeda, que invadieron posiciones militares al amanecer del 4 de agosto.