Ding Liren is the 17th World Chess Champion