城没陷为湖出自哪一首诗？

城没陷为湖出自哪一首诗？

城没陷为湖出自先秦无名的《长水童谣》。这句诗词出自先秦无名的《长水童谣》。
下面是这首诗的全文：
城门当有血。城没陷为湖。