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.