The Fourth Annual Whale Shark Festival will be held in Isla Mujeres this month (main events July 15-17), bringing together scientists and others from around the world to compare notes and celebrate the world's largest fish, and the richness of the waters…