Shark kills tourist, injures another off Egypt's Red Sea coast

The Red Sea is a major tourist destination whose marine life make it popular with divers.