What was vietnam called before the vietname war