1 medium yellow onion (peeled and quartered)

A Short Cut to Thai 5-Spice Pork Stew (Instant Pot Recipe)