3 ms·

Population of the city was 500k at the time. I would guess it is smaller then but it is, of course, hard to know now.