Robinson, John Enders, d1851-1917.