meddelas den 17 juli , att kolera utbrutit på Korea.