Miami elected its 1st Dem mayor since the Birdcage era (great 1990s film). It's another sign Latinos have shifted heavily against Trump (drop of 36 pts in net approval). Also, Trump's absolute kryptonite to the GOP in big cities. Just 7 big city GOP mayors left vs 14 in 2017.