My Pork Posole Rojo recipe (details in comments)