Tài liệu ghi chép sớm nhất về trận chiến Trục Lộc là ().