What was south vietnam called in the vietnam war