Should MLK Jr. Day be a paid holiday for Fargo city employees?