Precio del cerdo el 17 de octubre