Jefferson County's shrinking cities

Cities with more than 10,000 residents that decreased in population from July 1, 2022-July 1, 2023.