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 está no distrito de San Antonio de Chuca?
 ###Tabelas: CREATE TABLE by_elevation (by_elevation_id AUTO_INCREMENT PRIMARY KEY, # INT, District VARCHAR, Province VARCHAR, Region VARCHAR, UBIGEO INT, Elevation (m) INT) CREATE TABLE skilift_system (skilift_system_id AUTO_INCREMENT PRIMARY KEY, Name or route VARCHAR, type VARCHAR, elevation groundstation INT, elevation mountainstation INT, slope length INT, capacity in persons/hour INT, construction year(s) VARCHAR) CREATE TABLE first_league (first_league_id AUTO_INCREMENT PRIMARY KEY, Team VARCHAR, Match INT, Points INT, Draw INT, Lost INT) CREATE TABLE ladies_european_tour_wins_6 (ladies_european_tour_wins_6_id AUTO_INCREMENT PRIMARY KEY, No. INT, Date VARCHAR, Tournament VARCHAR, Winning score VARCHAR, To par VARCHAR, Margin of victory VARCHAR, Runner(s)-up VARCHAR, Winners share ( € ) INT) CREATE TABLE eliminated_contestants'_weigh_in (eliminated_contestants'_weigh_in_id AUTO_INCREMENT PRIMARY KEY, Contestant VARCHAR, Starting Weight (kg) VARCHAR, Final Weight (kg) VARCHAR, Weight Lost (kg) VARCHAR, Percentage Lost VARCHAR, Position (out of Eliminated Contestants) VARCHAR)  
SELECT Province FROM by_elevation WHERE District = San Antonio de Chuca