Topic: Should Columbus Day be removed as a US national holiday?

Should Columbus Day be removed as a US national holiday?