Ohio airport shooting - knife-wielding man was shot and killed by airport police.