《晋书·帝纪·第八章》
秋七月，褚裒进驻彭城，派派部将王龛、李迈和石遵的将领李农交战，官军被打得大败，王龛被李农俘获，李迈战死。
秋七月，褚裒进次彭城，遣部将王龛、李迈及石遵将李农战于代陂，王师败绩，王龛为农所执，李迈死之。
In the seventh month of autumn, Chu Pou moved into Pengcheng, sent generals Wang Kan and Li Mai to fight with Shi Zun's general Li Nong, and the imperial army was defeated. Wang Kan was captured by Li Nong, and Li Mai died in battle.