High temperature gas-cooled reactor