You will perceive the gist of the question is not whether the mountain should be called Mount Everest or by its true native name (which is a principle not disputed by any one), but whether it can be called Deodanga without risk of error, in the absence of satisfactory proof that this is really its native name.
Andrew Waugh, in a report on Mounts Everest and Deodanga (11 January 1858), published in Proceedings of the Royal Geographical Society of London, Vol. II, No. 1 (January 1858), p. 105