The Dutch East India Company and Mysore, 1762–1790