with only one word listed as the locale and a major city with a 2018 population of 57,644 , what is the rank for this locale among florida counties in population ?
15th