Co-worker: Gunman wished me good day before the carnage

A disgruntled employee who killed 12 people in Virginia Beach worked as a certified professional engineer for the city.