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