On the afternoon of May 31, 2019, a disgruntled public employee fatally shot twelve people and wounded four others in a mass shooting at a municipal building in Virginia Beach, Virginia. Eleven were city employees, and one was a contractor in the building there to obtain a permit. The building housed the city’s public works,…