. "Pemex, through the royalties and taxes it pays to the federal government, is a major source of revenue for the government." . . .