駅名に「武蔵〜」って付くのは、旧国鉄は全国規模だったから駅名が重複しないように？