Porto Torres, dives from the rocks and hits his head: a 23-year-old boy is serious