Columbus Day is a federal holiday observed on the second Monday in October , marking the anniversary of arrival of Christopher Columbus to the Americas .