First Indochina War
First Indochina War (1945–54).