. . . "Elsewhere, however, coal use has soared, particularly in Europe, where its share of the power generation mix increased at the expense of gas." .