Alligator involved in deadly Texas attack is killed
An unidentified woman who jumped in with him for the swim was not injured.
['An', 'unidentified', 'woman', 'who', 'jumped', 'in', 'with', 'him', 'for', 'the', 'swim', 'was', 'not', 'injured.']