POTUS signed an executive order giving workers a half day off, but thousands of federal employees wanted a full day instead.