The Red Sea coast is one of the world’s most rewarding destinations for scuba divers,…