Not specific to any incident, going on much prior to Doklam: Arun Jaitley Army sources said around 31,000 civilian staff will be redeployed Army has around 12 lakh personnel; one of leading ground force globally