A sad day for Orlando theme park fans

Today is a sad day for fans of any Orlando-area theme parks. A trainer at Sea World was killed in an accident involving an Orca, commonly known as a killer whale. While I'm not going to speculate on what happened (there are plenty of media-types already doing that), I do want to extend my deepest sympathies to the families of the trainer and to the Sea World family overall.