粗探しで因縁つけられないようにもう人名を艦名にするのはやめて艦種と番号だけで(士気低下は気にしない)
しっかし、改名となると公文書などの書き換えで手間も金も無駄遣いだよな