ちなみに北九州市の市名は西京市の予定だった