Cole, William (1635-1716) (DNB00) — entry in Dictionary of National Biography