La bala que mató al sargento Craig Hutchinson fue disparada por la misma arma del oficial, según reportó la policía de Round Rock.