from: (large) lizard/tortoise
in Ancient Greek κροκόδειλος was another word for lizard, and so synonymous with the Hebrew word (see link); but it got ported into Latin and only translated as crocodile from then on
Appears in: