Should Kentucky be a No. 1 seed if they lose to Vanderbilt?