- Stir together orange juice, chicken stock and soy sauce in a small bowl and pour into pressure cooker. Place pork tenderloin in the pressure cooker and sprinkle dry spices on top. Lock lid and close vent valve. Press “Manual”setting for 40 minutes.
- Once timer goes off, allow pressure to naturally release before opening vent valve. Remove lid and shred pork with two forks on a cutting board. Turn oven to broil. Transfer shredded pork to a baking pan and pour ½ cup of juices from the pot over pork. Drizzle with olive oil and broil for 7-10 minutes, until pork is lightly crisped on top.
- Serve shredded pork over guacamole on a tostada. Top with lettuce, cilantro, tomato, red onion and a squeeze of lime.