Another article about it:
Gunman opens fire in Oklahoma City restaurant, is shot dead by bystanders
https://www.nbcnews.com/news/us-news/gunman-opens-fire-oklahoma-city-restaurant-shot-dead-bystanders-n877461