Steneosaurus atelestatus Eudes-Deslongchamps 1863 (marine crocodile)