Nueve guerrilleros muertos y 12 heridos deja una operación militar en Colombia