Potato Casserole with Mushrooms: Recipe