Cooling nuclear reactors using gas coolant