Trump says China ‘can now continue to purchase oil from Iran’—but he hopes Beijing will buy U.S. crude instead