The Dutch republic in the days of John Adams 1775-1795