Text this: Hugo Grotius, the Portuguese, and Free Trade in the East Indies