Dallas police officers killed by sniper fire during protest.