(It doesn't say elephants either..)
I'm not sure how well known the word is with native English speaking folks, I guess neither do you, so it's difficult for us to declare it obscure.
It's obvious they're elephants. The original decided to describe them alternatively, if we use elephants we would deviate from that.
(Still loving this stuff.. 
)
So how is it, if you'd like to elaborate, you're so sure?
If it is obscure, then, yeah, it seems dikhuiden can't be properly translated..
- edit
See you elaborated your comment a bit more..
No, I wasn't familiar with the (Dutch) word (though I might heave heard/read it sometime ) but I can't be sure that's the same for native English speaking folks.
C'mon guys. Go do some 
(although it's a bit cold...) and let's keep the discussion limited to the translation of the games. Both your points are clear.
@tfh: no problem (Response will follow @Grauw)
@Grauw
According to the dictionary pachyderms is a proper translation, but then you elaborated how, being an obscure word, using elephants would be better.
I agree it's not our job to teach (international) players new (obscure) words.
So yeah, I'm listening, and your arguments (now) seem convincing.
I can be a bit headstrong myself, but when someone proofs or shows otherwise: no problem to learn & adjust.
Reading back, it seems I was a bit presumptuous, so sorry for that (& thanks for your elaboration 
)
Still a 'pity' (in a way (what are we talking about anyway?)) we can't translate it more closely to the original (don't you think?) (That's why I defended pachyderms, seemed 'neater'.)
(Btw: I didn't object when you stated All is put out on the table here was too clever.. )
