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: Quantas FA Trophy tem um jogador de mario walsh e uma Liga maior que 17?
 ###Tabelas: CREATE TABLE administration (administration_id AUTO_INCREMENT PRIMARY KEY, English Name VARCHAR, Chinese Name (Simplified / Traditional) VARCHAR, Pinyin VARCHAR, Population INT, Post Code 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 fall_1997 (fall_1997_id AUTO_INCREMENT PRIMARY KEY, 7:00 am VARCHAR, 7:30 am VARCHAR, 8:00 am VARCHAR, 9:00 am VARCHAR, 11:00 am VARCHAR, noon VARCHAR, 12:30 pm VARCHAR, 1:00 pm VARCHAR, 1:30 pm VARCHAR, 2:00 pm VARCHAR, 3:00 pm VARCHAR, 3:30 pm VARCHAR, 4:00 pm VARCHAR, 5:00 pm VARCHAR, 6:30 pm VARCHAR) CREATE TABLE top_scorers_in_order_of_league_goals (top_scorers_in_order_of_league_goals_id AUTO_INCREMENT PRIMARY KEY, Player VARCHAR, Club VARCHAR, League INT, FA Cup INT, FA Trophy INT, League Cup INT, Total INT) CREATE TABLE 2009 (2009_id AUTO_INCREMENT PRIMARY KEY, Date VARCHAR, Location VARCHAR, Nature of incident VARCHAR, Circumstances VARCHAR, Casualties VARCHAR)  
SELECT AVG FA Trophy FROM top_scorers_in_order_of_league_goals WHERE Player = mario walsh AND League > 17