First Indochina War
Campaign in First Indochina War.