“Military service,” as used in this part, includes the enlistment or induction into the United States army or any branch thereof, the United States navy, the air force, the marine corps, the coast guard, the merchant marine, or any other military activity carried on in the aid of the war effort.