The 2018 Korean War Olympiad