Shark Attack in Egypt's Red Sea Kills Tourist, Injures Another