Text this: The Dutch East India Company and the Straits of Malacca, 1700-1784 ; trade and politics in the eighteenth century /