Columbus Day is a federal holiday observed every year on the second Monday in October and is an observed Miami-Dade County holiday.