2018 Winter Olympics: Donald Trump, Kim Jong Un show up, sort of