They were going to keep it up despite Trump’s executive order until one reporter threatened to name names.