North Korea replaces senior military officials after botched warship launch