ઉલ્લેખનીય છે કે ડોકલામને ડોંગલંગ પણ કહેવામાં આવે છે.