A longtime city employee who had been terminated entered a municipal building in Virginia Beach, Va., Friday afternoon to exact revenge, law-enforcement officials said. He shot indiscriminately, killing at least 12 and injuring at least four others. DeWayne Craddock, 40 years old, had made multiple firearm purchases in recent weeks, officials said. The suspected shooter, who died after exchanging gunfire with police, used a handgun and rifle that were legally purchased, a law-enforcement official said. The .45 handgun had...

Source: Wall Street Journal May 31, 2019 22:10 UTC