"Unfortunate, random incident"

(CNN) -- A 30-year-old dolphin at Sea World has died after colliding with another dolphin while performing aerial tricks, the Orlando, Florida, amusement park said Monday.

The incident occurred about 4:30 p.m. Saturday at the Discovery Cove area of the park, according to a statement by Sea World spokeswoman Becca Bides.

The animals were in the center of the lagoon and not near guests, she said.

The dolphin who died was named Sharky. The other dolphin, Tyler, is being watched by veterinarians but appears to be fine, Bides said.

"This is an unfortunate, random incident," Bides said in a written statement.

"While it is not unusual to have two animals performing aerial behaviors at the same time, we are reviewing the situation to ensure even such a random incident does not occur again."

---

So now... does that make me still want to go see Dolphin shows?... I'm not so sure.