Vietnam War, First Indochina War/Definition