Abaixo está uma instrução que descreve uma tarefa de geração de SQL, combinada com uma entrada que fornece mais contexto sobre os esquemas de tabela disponíveis. Escreva o código SQL que responda adequadamente à solicitação
 ###Instrução: Qual província possui Michael Kirby?
 ###Tabelas: CREATE TABLE waikato_district (waikato_district_id AUTO_INCREMENT PRIMARY KEY, Name VARCHAR, Years VARCHAR, Gender VARCHAR, Area VARCHAR, Authority VARCHAR, Decile VARCHAR, Roll INT) CREATE TABLE singles_champions (singles_champions_id AUTO_INCREMENT PRIMARY KEY, Year INT, Name of Tournament VARCHAR, Champions VARCHAR, Runners-up VARCHAR, Score VARCHAR) CREATE TABLE left_senate_during_the_39th_parliament (left_senate_during_the_39th_parliament_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Name VARCHAR, Party VARCHAR, Province VARCHAR, Details VARCHAR) CREATE TABLE quarterfinal_2 (quarterfinal_2_id AUTO_INCREMENT PRIMARY KEY, Rank INT, Athlete VARCHAR, Country VARCHAR, Time VARCHAR, Notes VARCHAR) CREATE TABLE 1971_isle_of_man_senior_tt_500cc_final_standings (1971_isle_of_man_senior_tt_500cc_final_standings_id AUTO_INCREMENT PRIMARY KEY, Place INT, Rider VARCHAR, Country VARCHAR, Machine VARCHAR, Speed VARCHAR, Time VARCHAR, Points INT)  
SELECT Province FROM left_senate_during_the_39th_parliament WHERE Name = michael kirby