Hồ Chí Minh - chiến sĩ cách mạng quốc tế - Phan Ngọc Liên, GS.