Indochina War, 1946-1954