Dictionary of Indian Biography/Briggs, John