20140811 world.us: 9-year-old US boy fights off gator with bare hands