NBC: Travis King, U.S. soldier who ran into North Korea, is charged with desertion