Dictionary of Indian Biography/Coke, Sir John