Postwar Indochina : old enemies and new allies