20160709 removed: US army veteran shoots down 5 cops; highest toll since 9/11