Formerly Columbus Day. The City Commission voted in 2020 to change the name of this City Holiday, to align with changes at the State and Federal level.