Florida man once bitten by alligator is chomped by 8-foot shark while on vacation.
https://www.usatoday.com/story/n…