Indian troops start patrolling the Demchok sector in eastern Ladakh following the India-China disengagement