Este mes, tropas colombianas mataron a uno de los líderes de más alto rango de las FARC.