Was The Dongting Jun Never Recoded in The Historical Documents Handed down?

• 传世文献中没有记载过洞庭郡吗?