A man attacked a public bus driver, then was shot and killed by another passenger, Texas police told news outlets. The ...