When Sir Andrew Waugh, surveyor general of India, reported the measurements for Peak XV, as it was called, and declared it the highest mountain in the world, he proposed it be named after his predecessor, Sir George Everest, who had retired from the post in 1843. Controversy ensued. There were protests in favor of a local Tibetan or Nepalese name. As surveyor general, Everest himself had insisted on local names, but in this instance stayed curiously silent. History took care of the rest. The Royal Geographic Society and the Secretary of State for India granted the name of Everest to the mountain, and so it has remained.