Vietnam War, World War II and immediate postwar