Columbus Day became a U.S. holiday in 1971 .