A shark snapped the man's leg off.