This has been verified on Wikipedia, by the way... Istanbul was referred to by a number of different names - Constantinople, Kostantiniyye, Stamboul - until Turkey's government passed the Turkish Postal Service Law in 1930 recognizing only Istanbul, the most common moniker, as the city's official name.

And here's that They Might Be Giants ditty...