Derek Mason Is Oklahoma State’s New Defensive Coordinator, And That Likely Happened Before Auburn Said He Was Leaving