刻舟求剑是什么故事 刻舟求剑是什么故事是寓言还是神话