merchant marines in korean war