陈毅做过（ ）市的市长。