Mass Mobilization in the Democratic Republic of Vietnam, 1945–1960