But leaders of the Koch network are pleased with other things Trump's doing.