trupper och krigsskepp till Korea.