Does anyone know what the second Monday in October is in the US?
Is it Columbus Day or "Indigenous Peoples’ Day"? It depends on the state.

@VooDooMedic, does Australia have an "Indigenous Peoples' Day"?

source: https://www.pewresearch.org/short-reads/2023/10/05/working-on-columbus-day-or-indigenous-peoples-day-it-depends-on-where-your-job-is/#:~:text=Since%20then%2C%20several%20states%20have,it%20as%20an%20official%20holiday.