“The Energy Department recently projected that gulf oil production would expand from its 2011 level of 1.3 million barrels a day, still nearly a quarter of total domestic production, to 2 million barrels a day by 2020.”