I heard instead of an additional holiday they swapped Labor Day for it.
This was in Tennessee. Holidays today--Sharia tomorrow. :-(
They did until there was public outcry. Now there is simply one more holiday.