Donald Trump will take the 30 Electoral College votes in Florida - but winning one county will be particularly satisfying.