mid-october time Synonyms