"The map, proposed by Gov. Ron DeSantis, would most likely add four Republican districts while eliminating three held by Democrats."