what was vietnam called in the years before world war 2