[§8-1.5]  Discoverers' Day.  The secondMonday in October shall be known as Discoverers' Day, in recognition of thePolynesian discoverers of the Hawaiian Islands, provided that this day is notand shall not be construed to be a state holiday. [L 1988, c 220, §4]