RIP John Pork (Pork)