Combine paprika and next 5 ingredients (paprika through mustard); rub pork with paprika mixture.
Heat oil in a 6-quart pressure cooker coated with cooking spray over medium-high heat.
Add pork; brown on all sides.
Remove from pan; set aside.
Add leek and garlic to pan; saut 2 minutes.
Add broth; bring to a simmer. Return pork to pan; spoon leek mixture over pork. Close lid securely; bring to high pressure over high heat (about 3 minutes). Adjust heat to medium or level needed to maintain high pressure; cook 45 minutes.
Remove from heat; place pressure cooker under cold running water.
Remove lid; stir in potatoes and carrot. Close lid securely; bring to high pressure over high heat. Adjust heat to medium or level needed to maintain high pressure; cook 15 minutes.
Place cooker under cold running water.
Remove lid; remove vegetables and pork from pan.
Cut pork into 1/4-inch-thick slices; discard the bone.