Detained Americans freed from North Korea: A great success story for the US president