The Oklahoma Highway Patrol released the name of the trooper involved in a fatal Miami shooting. http://www.news9.com/story/28922386/ohp-releases-name-of-trooper-involved-in-fatal-miami-shooting