Trump was the first sitting US president to do so in person.