I thought it was only after the end of the Ottoman Empire that they officially began to call it Istanbul.