1 teaspoon dried mustard (or yellow mustard)

Pressure Cooker Sloppy Joes