Yes, one was just on news here. She's from here - Louisville, Ky. Didn't catch all the story but as I understand it, she was scuba diving. That sounded really weird to me -- diving in alligator area.
When I was a kid living on the coast of Georgia, I used to dive for golf balls with the gators. I rarely gave it a second thought. The only time it concerned us was when we would go to the larger lakes on the golf course where the big gators lived. We did have one check us out on one occasion (a nine-footer), so we never hit that particular lake again.
Yes, it was a stupid thing to do. But in those days one never heard of alligator attacks. They were still very endangered back then ('70s).
Plus, I made a rather tidy sum re-selling the golf balls to the clubhouses.