The census counts 102,843 people, the baseline for the later fall to 75,817 in 2023.
What happened
The US Government Accountability Office (GAO) notes the drop that followed has worsened shortages of skilled workers, raised the cost per person of schools and clinics, and reduced government revenue.