Cassius, a saltwater crocodile, held the record for the world’s largest crocodile in captivity