Indochinese War, 1946-1954