20150823 world.us: 10-year-old girl survives shark attack; saves pal