at Seminole County, Florida