North Korea meets with South Korea: How much credit does Trump deserve?