Braised Pork With Mushrooms and Green Pepper