Why Derek Mason would extend an OSU football trend with Mike Gundy