Hall, John (1824-1907) (DNB12) — entry in Dictionary of National Biography