OBITUARY: William Lynch, former deputy NYC mayor, dies at 72