The death was announced the same day that the Sentinel reported the park's Dolphin Cove was temporarily closed to repair a "faulty pool surface cover," and that the dolphins were being sent to Discovery Cove and the Dolphin Nursery in the meantime.