Repairs are under way on a new North Korean warship which failed to launch last week, state media has said.