5 月 1 日 (星期四) 勞動節, 放假一天