Instant Pot Mexican Shredded Pork With Pine