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