「草薙剣」と呼ばれるようになる前、この剣はもともと何という名前だった？