Osam žrtava pucnjave u Teksasu, policija ubila napadača