🔗 It was also not clear if Trump’s comment was based on news reports or if the White House had been given official notice.