Lest it be forgotten, Shamu and his orca pals aren’t called killer whales for nothing. Although watching humans gambol with orcas and other sea mammals has become a tourist staple at water parks around the country, that brand of family entertainment doesn’t sit well with some animal rights groups, and it can be deadly, as an incident Wednesday at SeaWorld in Orlando, Fla., tragically illustrated.