Should public schools celebrate more diverse holidays?