Executive orders. National Maritime Day, 1946, proclamation [designating May 22, 1946, as National Maritime Day].