Trump and the End of Obama’s Bitter ‘War on Coal’