Diehl, William J., Mayor of Pittsburgh.