예를 들어 세종대왕함, 독도함 등 이렇게 함선에 이름을 붙이잖아요.

그런데 일단 세월에는 장사가 없다고, 결국 함선도 언젠가는 수명이 끝날텐데

그렇게 수명이 끝난 함선의 이름은 그대로 그 함선의 이름으로 남는 것인지

아니면 다른 함선이 승계를 받는 것인지 궁금합니다~