Columbus day was started as a mea culpa for Parish Prison lynching. That has long been forgotten.

Just ditch Columbus day and don't replace it. The feds get too many paid days off as it is.