Did you know that North Korean child prodigy Ri Jong-yol defected to South Korea after winning silver at the 2016 International Mathematical Olympiad in Hong Kong?