Sergeant Michael J. Smith, 55, was a Dallas Police Department veteran and former service member who was fatally shot while providing security at a downtown protest on July 7, 2016. He was standing outside a 7-Eleven when a sniper opened fire, part of an ambush that targeted officers at multiple locations and became the deadliest single incident for U.S. law enforcement since September 11, 2001.

The protest had been largely peaceful until the shooting. Five officers, including Sergeant Smith, were killed; nine officers and two civilians were injured. Investigators identified a lone gunman, Micah Xavier Johnson, 25, who exchanged gunfire with police and was later killed when officers used a bomb disposal robot carrying explosives to end the standoff. Authorities determined he acted alone and no other arrests were made.

Did anyone who knew Sergeant Smith or who was at the protest that night notice details that haven’t been widely reported?