Columbus police shoot a man armed with 2 knives, but were there other options?