Mueren nueve disidentes de las FARC en una gran operación militar en Colombia