ohio crocodile