Pieter de Carpentier — 5th Governor-General of the Dutch East Indies