Mini Trip Report: Seoul, South Korea November 17-19, 2019