Dictionary of Indian Biography/Badcock, Sir Alexander Robert