ページ名の変更

ホトリ盆地の名前を変更します。