Pity the alligator had to die.