湖上波濤一劍空，冶金留取鎮(zhèn)龍宮出自哪首詩

湖上波濤一劍空，冶金留取鎮(zhèn)龍宮出自元宣的《題鐵柱》。這句詩詞出自元宣的《題鐵柱》。
下面是這首詩的全文：
湖上波濤一劍空，冶金留取鎮(zhèn)龍宮。八方靈索懸坤軸，萬古蒼標定劫風。不用斷鰲扶四極，誰令鑄鼎象群兇。登真未了神仙事，累代方知濟世功。