Last days of Hanoi, Viet Minh