how many  fa trophy has a player of mario walsh and a league larger than 17?
none