Question: What is the name for district total:?
SQL: SELECT name FROM table_name_80 WHERE district = "total:"