A homophonic pun is best defined as

a play on words where two or more words sound the same but have different meanings.