pressurized water reactor Synonyms