TOKYO - The U.S. government believes North Korea launched a ballistic missile last week but is refraining from identifying it as such due to concerns that doing so could hamper President Donald Trump's efforts to reach a denuclearization deal, diplomatic sources said Thursday.