The Dutch term "Columbus" matches the English term "Columbus"