We do not currently know of any synonyms for Demchok.
The proper noun Demchok is defined as:
A small village and military encampment in the Indian-administered part of the disputed region of Jammu and Kashmir, near Aksai Chin and the Line of Actual Control.