Was the Cincinnati Zoo correct in shooting the gorilla after a child fell into the enclosure?