CREATE TABLE table_name_80 (total INTEGER, county VARCHAR(255))
What is galway county's total?
    
SQL: SELECT SUM(total) FROM table_name_80 WHERE county = "galway"