The Indian Biographical Dictionary (1915)/Benton, John