Pork chops in mushroom gravy sauce