[BBC] North Korea frees three US detainees ahead of Trump summit