Vacationing children lasso Florida alligator with noose