North Korea refloats destroyer after failed launch, with possible Russian assistance