“The US government's strategy in the 1970s to combat rising oil prices included a plan to significantly develop its domestic coal resources.”