North Korea’s “nuclear sub” claim has a big problem