https://www.clocktowerhistoricstaunton.com/food/how-long-to-pressure-cook-pork-loin/