Hugo Grotius, East India Trade and the King of Johor · Study