Instant Pot Shredded Citrus Pork Tenderloin