Exportaciones mexicanas de petróleo a Corea baten récord