Should holiday names be removed from the school calendar?