Wikipedia does mention the incident: https://en.wikipedia.org/wiki/Killer_whale_attack#1970s