Austrian woman dies in Red Sea shark attack