Ed Koch, 88, former NYC mayor