A lease granted to a mining company to produce coal from land owned and administered by the Federal Government in exchange for royalties and other revenues.