CREATE TABLE table_name_28 (population INTEGER, municipality VARCHAR(255))
What is the highest population within the municipality of Porsgrunn?
    
SQL: SELECT MAX(population) FROM table_name_28 WHERE municipality = "porsgrunn"