how to punch an alligator