This is a developing story. Last updated 7:23 p.m. ET
Officials say a gunman shot and killed five police officers Thursday at a Dallas protest against police shootings of black men, in a bout of violence that didn't end until the suspected gunman was killed by police using explosives delivered by a robot. Seven other officers and two civilians were also injured.