Federal judge slaps down Trump's giveaway to the coal industry