North Korea opts out of Tokyo Olympics