El ejército colombiano mata a un dirigente del ELN y captura a otros tres guerrilleros