But state employees would be able to choose between recognizing Juneteenth or the birthday of the president of the ...