Cholera epidemic and quarantine of open ports in Joseon in 1886 (Korean Journal of Medical History, 2020)