美国第一艘核潜艇是根据法国科幻小说《海底两万里》中的哪艘潜艇名字命名的？（）