OT: sounds like Oklahoma States president is resigning