OBITUARY: Ed Koch, mayor who became symbol of a revived NYC, 88