Surfer Todd Endris needed a miracle. The shark — a monster great white that came out of nowhere — had hit him three times, peeling the skin off his back and mauling his right leg to the bone.

That’s when a pod of bottlenose dolphins intervened, forming a protective ring around Endris, allowing him to get to shore, where quick first aid provided by a friend saved his life.

“Truly a miracle,” Endris told TODAY’s Natalie Morales on Thursday.

The dolphins, which had been cavorting in the surf all along, showed up then. They circled him, keeping the shark at bay, and enabled Endris to get back on his board and catch a wave to the shore.

Our finned friends
No one knows why dolphins protect humans, but stories of the marine mammals rescuing humans go back to ancient Greece, according to the Whale and Dolphin Conservation Society.

A year ago in New Zealand, the group reports, four lifeguards were saved from sharks in the same way Endris was — by dolphins forming a protective ring.