The decision to name Oklahoma State’s new wrestling facility for John Smith was the right, and obvious, move for the university.