CREATE TABLE table_1305623_20 (silver_medals VARCHAR(255), ensemble VARCHAR(255))
How many numbers were listed under Silver Medals for Portsmouth HS?
    
SQL: SELECT COUNT(silver_medals) FROM table_1305623_20 WHERE ensemble = "Portsmouth HS"