Third police officer who was killed in Dallas is identified as Michael Krol:
What began as a peaceful demonstration against police violence in Dallas Thursday night turned into a deadly ambush against police, leaving five officers dead and Americans dazed yet again in the face of gun violence and tragedy. Here are the latest updates from this developing story.