欧冶子为勾践铸造的那把剑叫什么名字？

出土的那把剑应该不是

欧冶子为越王勾践铸造了五把剑：龙渊（也叫七星剑），泰阿，工布，湛泸，纯钧

湛泸剑最初确实是勾践的佩剑，但是后来勾践战败后把它进贡给夫差了

湛泸剑出炉之后，为吴王阖庐所得，其后应是辗转夫差勾践之手而终不知下落何处。及至宋朝沈括于《梦溪笔谈．器用》中描述湛泸剑“湛湛然黑色也”,湛泸剑经过短暂现世之后又终归于沉寂。这方通体墨黑浑然无迹的宝剑以其大巧若拙的技艺及仁者无敌的恕道精神而闻名。据传欧冶子铸成此剑时，不禁抚剑泪落，因为他终于圆了自己毕生的梦想：铸出一把无坚不摧而又不带丝毫杀气的兵器。
剑身上一行古篆———“越王勾践自用剑”，说明越王勾践可能真用过它，那么以它的锋利来说，它应该是实用剑，而湛泸剑是一种象征，——仁道之剑。也可以说是礼器，不是实用剑，说不定还用不着开锋，开锋就变凶器了。
据说，有两种可能，越王勾践的剑在湖北出土。一是越被楚灭国，这是战利品。二是越王嫁女的陪嫁品。

龙渊，来我们省博物馆展出的时候见了，真是好剑，只是历史对欧冶子其人的记载太少了