“The United States has approximately 1,200 gigawatts of total power generation capacity, of which 200 gigawatts is from coal.”