Thomas F. August lost re-election in the mayoral race that included the politician who now serves as a representative from what congressional district?