Merchant in Asia: The Trade of the Dutch East India Company during the Eighteenth Century