Mr. Craddock, a longtime city employee, killed at least 12 people and injured several others, according to the police.
The New York Times
Published: June 1, 2019 at 03:00AM