엄연히 당시 명칭인 홍주를 쓰는게 맞다고 보는데..