Here’s a brief rundown of the dozen counties that at least share a name and how they rank by population, according to 2023 U.S. Census figures.