Commanders of Dutch East India ships in the eighteenth century