Trump defunding of NPR and PBS blocked by judge, but damage is already done