Liên minh chiến đấu Việt-Lào với thắng lợi chiến dịch Điện Biên Phủ, năm 1954 - Trần Tuấn Sơn (2023)