I didn't know that. Considering how many rulers of Instanbul have plopped a big monument down somewhere, that little tidbit isn't surprising.