20141129 world.us: US police kill gunman who targeted buildings in Austin