Table: election_results_1988
Columns: district
incumbent
party
first_elected
result
candidates

Question: what's party with result being retired to run for u. s. senate republican hold
SQL: SELECT "party" FROM election_results_1988 WHERE "result" = 'Retired to run for U. S. Senate Republican hold'

Question: what's result with incumbent being connie mack
SQL: SELECT "result" FROM election_results_1988 WHERE "incumbent" = 'Connie Mack'

Question: what's district with candidates being lawrence j. smith (d) 69.4% joseph smith (r) 30.6%
SQL: SELECT "district" FROM election_results_1988 WHERE "candidates" = 'Lawrence J. Smith (D) 69.4% Joseph Smith (R) 30.6%'

Question: what's incumbent with district being florida 5
SQL: SELECT "incumbent" FROM election_results_1988 WHERE "district" = 'Florida 5'

Question: what's result of first elected being 1980
SQL: SELECT "result" FROM election_results_1988 WHERE "first_elected" = 1980