Comparison of Two Potassium-Filled Gas-Controlled Heat Pipes