Dictionary of Indian Biography/Thomas, John