Iirc the special district still exists, Desantis tried to get rid of it initially but backed out of that plan because it would have shifted financial burden to the counties where it’s located. Instead Florida passed a law changing it so Desantis could appoint the board and renamed the district.