FARC-Chef von kolumbianischen Militärs getötet