They should have moved him but probably decided it was easier to just kill him because moving one that big would not be easy. Contrary to popular belief, American alligators (Alligator mississippiensis) are not particularly aggressive. Crocodiles are far more dangerous.