North Korea relaunches warship that suffered embarrassing failure during initial launch