The Atlantic and Semafor reported that President Donald Trump's phone number is being traded among journalists in Washington. Was it leaked?