Jornal Do Brasilia - Travel agencies say North Korea reopens border city to tourism