제1차 인도차이나 전쟁
During the First Indochina War.