「ジョホールバルの歓喜」って、呼び名として、イマイチ定着してないよな