A shark has killed a German tourist in the Red Sea, days after a string of attacks injured several divers.
Shark kills tourist in Red Sea