President Trump, Kim Jong Un greet each other at summit