hernando county florida history