A police officer has been praised for shooting dead a man who drove his car into a crowd at Ohio State University and began to stab people with a butcher's knife.