『新唐書』3　顯慶三年六月壬子条

六月壬子、程名振及高麗戰于赤烽鎮、敗之。