17-year-old lost arm to alligator, but held onto his life