U.S. Secretary of State Mike Pompeo to travel to North Korea in October