Diver pinned under water by an alligator figured he had choice: Lose his arm or lose his life