제1차 인도차이나 전쟁
It was part of the First Indochina War.