The Dutch term "krokodillen" matches the English term "crocodile"