Christopher Columbus has a national holiday, too.
Columbus is not a national holiday; it is only a Federal holiday.