The Dutch term "alligator" matches the English term "alligator"