kryssaren “ Don Juan " har afsändts till Korea.