"[T]he Great Survey of India... lasted sixty years. ...[T]he British ...mapped the whole of India, marking borders... and calculating... the... height of Mount Everest and other Himalayan peaks."