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