Hibbert, John Tomlinson (DNB12) — entry in Dictionary of National Biography