. . "As used in this section and in the provisions relating to the Court, ???legal holiday??? includes New Year's Day, Washington's Birthday, Memorial Day, Independence Day, Labor Day, Columbus Day, Veteran's Day, Thanksgiving Day, Christmas Day, and any other day appointed as a holiday by the President or the Congress of the United States, or by the Tribe. (b) Enlargement." . . .