Gibson, John (1637-1717) (DNB00) — entry in Dictionary of National Biography