Van de Velde, Willem (1610-1693) (DNB00) — entry in Dictionary of National Biography