Green enchiladas with mushroom soup