Four South Korean cargo ships leave Hormuz