Bentley, Thomas (1693?-1742) (DNB00) — entry in Dictionary of National Biography