How White House aides saved Christmas from Trump’s China tariffs