“Advanced commercially available nuclear reactors touted by Westinghouse.”