A friend pointed out that my using "National Army" for the People's Army of Việt Nam (PAVN) during the years leading up to Điện Biên Phủ caused confusion with the army in former South Việt Nam. Further, she referred me to Vietnamese articles on the Web saying that, by 1950, "People's Army" was already in use. I began to check. It turns out we were wrong.