20160708 world.us: 4 Dallas cops killed by snipers amid protests: Police