Shark attack horror as tourist killed and another injured in popular holiday hotspot

Italian media has named the victim as Gianluca Di Gioia, an EU diplomat from Rome who was snorkelling in the Red Sea when the shark attacked.