I assume they meant that the existing federal holiday observing MLK‘s birthday should be moved to the existing Election Day, So that election day is off for mo

I assume they meant that the existing federal holiday observing MLK‘s birthday should be moved to the existing Election Day, So that election day is off for most people, and we still observe MLK, and there can be no objection to an additional holiday.