Mushroom-Topped Pork Chops