A municipal building in Virginia Beach, Va., was turned into a scene of carnage on Friday afternoon after a longtime public utilities employee began firing indiscriminately at his co-workers, killing at least 11 people and injuring six others before dying after a shootout with the police.

https://www.nytimes.com/2019/05/31/us/virginia-beach-shooting.html

11+6=?