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: Nomeie o número de titulares para o texas 12.
 ###Tabelas: CREATE TABLE chinese_professional_baseball_league (chinese_professional_baseball_league_id AUTO_INCREMENT PRIMARY KEY, Year INT, Winning team VARCHAR, Losing team VARCHAR, Score VARCHAR, Site VARCHAR) CREATE TABLE  (_id AUTO_INCREMENT PRIMARY KEY, District VARCHAR, Incumbent VARCHAR, Party VARCHAR, First elected INT, Result VARCHAR, Candidates VARCHAR) CREATE TABLE structures_between___metres__ ft_and___metres__ ft_under_construction (structures_between___metres__ ft_and___metres__ ft_under_construction_id AUTO_INCREMENT PRIMARY KEY, Planned pinnacle height VARCHAR, Expected year of completion INT, Structural type VARCHAR, Country VARCHAR, Town VARCHAR) CREATE TABLE athletes (athletes_id AUTO_INCREMENT PRIMARY KEY, Nationality VARCHAR, Height VARCHAR, Name VARCHAR, Sport VARCHAR, Lifespan VARCHAR) CREATE TABLE appearances__&__goals (appearances__&__goals_id AUTO_INCREMENT PRIMARY KEY, Squad No. INT, Name VARCHAR, Position VARCHAR, League Apps VARCHAR, League Goals INT, FA Cup Apps VARCHAR, FA Cup Goals INT, League Cup Apps VARCHAR, League Cup Goals INT, FLT Apps VARCHAR, FLT Goals INT, Total Apps VARCHAR, Total Goals INT)  
SELECT COUNT Incumbent FROM  WHERE District = Texas 12