Evaluation of a freeze-tolerant decay heat removal system redundancy for fluoride salt-cooled high-temperature reactors (FHR)