20130402 world.rest-of-world: US deploys warship off South Korean coast