What was vietnam called before the vietnam war