To say that Miami was a democratic stronghold is not really accurate. They've leaned Democrat recently, but the margins haven't been that high, and they've been decreasing for a number of elections now.