A pack of wild dogs mauled a crocodile