Today in Pittsburgh history: