Some lucky divers got the encounter of a lifetime with very friendly wild dolphins in the Red Sea