quite possibly both, but i'm leaning strongly in the direction of coincidence. they probably just wanted some generic term for 'big city'.
like Gotham, sorta, but really literal.