Your yearly reminder that in 1972 the state of Hawaii changed the name of the holiday observed on the second Monday of October to Discoverers Day in honor of all discoverers a& particularly the Pacific navigators whose skill and courage populated the many islands spread across the vast Pacific Ocean