"Be it enacted by the Senate and House of Representatives of the United States of America in Congress assembled, That the purchasers of the rights of way, railroads, mines, coal leasehold estates, and other property, and the franchises of the said Choctaw Coal and Railway Company at any sale made under or by virtue of any process or decree of any court having jurisdiction thereof, shall be, and are" . . . . . .