First Indochina War
During the First Indochina War.