double-ended rupture of a reactor coolant circuit