On June 3, Mason-Dixon released a poll for president in Florida. The results: Hillary Clinton 45%, Donald Trump 42%, Gary Johnson 6%, undecided 7%. Thanks to Clifford Thies for the link.