Police in Columbus Ohio shot and killed a man after he attacked people with a machete in a restaurant.
