A 12-foot alligator that mauled a woman to death while she was swimming in a Florida river has been tracked down by police.