Man with machete gunned down by cops after restaurant attack

A man was shot and killed by police after attacking a number of people with a machete in a busy Columbus restaurant.