Redistribution of population to change electoral votes by Democrats