john pork ($pork)