First Indochina War
It was part of the First Indochina War.