Labor Day becomes an official US holiday.