The article is from 2017, but Mexico has been doing the same trades still every year - for example:
https://www.worldoil.com/news/2020/1/3/mexico-hedges-2020-cr...
This is from this January 2020 - they hedged at $49 per barrel... just before the coronavirus demand shock and oil price fall... another great Hacienda hedge.