Dictionary of Indian Biography/Collins, John