North Korea’s top three military officials replaced, U.S. official says