This California City’s Population Plunged Nearly 12% in 2023