Did shamu the killer whale ever kill a person?

of coarse one did and a great white shark did too. this might be true, but whale sharks are supposed to be very friendly and not eat/ kill people