Exclusive: Mexico's oil hedge to be pricier, but government likely doing it anyway