A jubilant national holiday of the Korean people (N.pl., 1973)