President Trump loves to extol “clean coal.” But an exceedingly small amount of coal is used in a way that most people would consider clean.