AT THE TIME TRUMP WAS DECLARED PRESIDENT