A PUBLIC HOLIDAY TO CELEBRATE INTERNATIONAL LABOR DAY ON THURSDAY 2/5/2019