Gerard Brantsen was one of the Dutch signatories to the treaty ending a war that began in what year?