"in the high-pressure water coolant supply"