North Korean leader Kim Jong un on the Olympic Games in Rio