20170717 world.us: 9 dead; boy missing in flash flood in Arizona swim hole