U.S. producer Diamondback Energy bought options to sell the price difference between U.S. West Texas Intermediate crude and globally traded Brent crude at around ​minus $42 a barrel in coming months, according to the company's quarterly filing, a bet that could pay off if the United States banned oil exports.