Doklam disengagement: The Himalayan border face-off between India and China is over