Did MLB promise the All Star Game to Miami leaders during ballpark negotiations or were the politicians too dumb to demand assurances?