Spanish divers helped free a whale shark after it got caught in tuna fishing nets near the Strait of Gibraltar. Veuer’s Maria Mercedes Galuppo has the story.