The Indian Biographical Dictionary (1915)/Richmond, Hon’ble Mr. Thomas