February 4, 2019 Donald Trump’s ‘Executive Time’ leak – journalists retype documents to protect White House source