For more on using this R package, see the GitHub repository for the kadmin package. The Administrative districts of Korea shapefile are included in this package kadmin. the *rda file do.rda, sgg.rda and emd.rda are around 68 MB in size.
kadmin
install.packages("kadmin", repos='https://SYOUNG9836.github.io/drat/', type='source')