disengagement of troops in eastern Ladakh