Pork and mushrooms enchiladas