hanoi in 1940