We will maybe never know the true story. Trump is a smart person and as president of the US will never confirm it. even if true.
Trump tweet about federal holiday was some hours later.... is it strategic or a real feeling?
Anyway, is it acceptable from the US president to denigrate people from foreign coutries? I don’t think so