Colombian army kills FARC ringleader