Which still makes it only 97th biggest city in the world: https://www.worldometers.info/population/largest-cities-in-t...