別府国際観光港前の歩道橋の名前は「別府横断歩道橋」という仰々しい名前