Thank God a tragedy was averted by the quick action of zoo officials, who did the only thing they could do by shooting the gorilla (and good shot, by the way), but it could have been much worse.