NBC: Oklahoma executes man for the 1996 killing of a university dance student