Gov. Ron DeSantis is still trying to depopulate the state’s Citizens Property Insurance Corp., which was created in 2002 to provide both windstorm and general property insurance to homeowners who can’t find insurance coverage in the private market.