President Donald Trump participates in a signing ceremony in the Oval Office of the White House at 4 p.m. ET on Dec. 11.
