20160731 world.us: Shooting in Austin; Texas: One dead; three hospitalized