The second Monday in October shall be known as Discoverers’ Day, in recognition of the Polynesian discoverers of the Hawaiian Islands, provided that this day is not and shall not be construed to be a state holiday.