Text this: Cholera epidemic and quarantine of open ports in Joseon in 1886