Pork Tenderloin and Caramelized Onion Enchiladas in a Homemade Enchilada Sauce