Which of the following is a federal holiday in the US?

Columbus Day is the U.S. federal holiday commemorating explorer Christopher Columbus’ landing in the New World on October 12, 1492. It also celebrates the cultural heritage of Italian Americans, since many scholars believe Columbus was born in Genoa, Italy. Columbus Day has been an annual holiday in the United States since 1937. Initially celebrated on October 12, it was moved to the second Monday in October to give workers a long holiday weekend.

Source: US Embassy