The smartest thing Charles Koch ever did was to not endorse in the GOP primaries