FARC second-in-command killed by Colombian military