请解释一下「雷迪氏鳄」这个词的含义。