I stopped reading at the remark about the French being at Dien Bien Phu in 1955. For crying out loud, the battle of Dien Bien Phu was fought between March and May of 1954! I even recorded a podcast about it last year. You can listen to it at https://blubrry.com/hoseasia/44400048/episode-68-the-first-indochina-war-part-5/