Below is an instruction that describes a task. Write a response that appropriately completes the request.

### Instruction:
What is the highest population within the municipality of Porsgrunn?

### Inputs:
table_name: table, columns: ['City', 'Municipality', 'County', 'Town status', 'Population']

### Response:
SELECT MAX Population FROM table WHERE Municipality = porsgrunn