Texas police kill gunman who hijacked Dallas-area public bus: officials

A gunman is dead and three officers were injured after a passenger opened fire on a Dallas-area public bus before hijacking it and leading police officers on a chase.