Actual cooking time will depend on how thick your chops are and their internal temperature when you start cooking them.
Tip: If you prefer a thicker sauce, combine 1 teaspoon of arrowroot with some water and stir the slurry into the pan before returning the pork chops to the pan to finish cooking.