Input (grade 13): His fellow countryman, Jan Carstenszoon (or Carstensz), visited in 1623 and named the gulf in honor of Pieter de Carpentier, at that time the Governor-General of the Dutch East Indies.
Output (grade 12): Jan Carstenszoon (or Carstensz), visited in 1623 and named the Gulf after Pieter de Carpentier, who was the Governor-General of the Dutch East Indies.