Should the Army be called in to fight the Naxals?