Dots show county records; shaded area shows likely general distribution.
(Note: Monroe County, Florida, includes the southwest portion of the tip of mainland Florida and the upper and lower keys. These three parts of that county are mapped separately.)
