In 1971, President Nixon declared Columbus Day a federal public holiday on the second Monday of October. What is the earliest date this could be?