También a los guerrilleros Herlinto Chamorro Acosta, alias "Antonio García", Israel Ramírez Pineda, alias "Pablo Beltrán, y Ever Castillo Sumaleva, alias "El Gallero".