2312 is loosely a sequel to his Red/Blue/Green Mars series; Mercury was colonized, and Terminator built during that era. It's been a while since I've read the series, so I don't remember if there was any significant discussion of other kinds of potential settlements on the planet.