Mueren cuatro guerrilleros del ELN en operativo del ejército colombiano