Did you know that Martin County, Florida , was named after Governor John W. Martin while he was in office?