A rare Red Sea shark attack has killed a German tourist at an Egyptian resort, police say. The shark reportedly…