[§8-13]  Lei Day.  May 1 of each year shall be known as “May Day is Lei Day in Hawai’i”; provided that this day is not and shall not be construed to be a state holiday.