NEW YORK CITY MAYOR ED KOCH