ページ名の変更

旧海軍設定の名前を変更します。