En ocho años ejecutaron a 6.402 colombianos