In history books, Jinjoseon was usually called Jin.
Di dalam buku-buku sejarah, Jinjoseon biasanya disebut Jin.