中国人民志愿军战史里，只有“咸镜南道战役”，没有什么所谓的“长津湖战役”。