『新唐書』
3
本紀
3
高宗
（顯慶三年）
六月壬子
、程名振及高麗戰于赤烽
鎭
、敗之。