Traditional journalistic wisdom says publications should rarely edit a source’s name out of an already-published article. Trump’s crackdown on foreign students is changing that.