Farc tiene unos 8.000 guerrilleros: Mindefensa