Egypt shuts down Red Sea beaches after tourist killed in shark attack -sources