历史上的上甘岭战役是哪一次战争中的战役（）。