The thermodilution method of measuring cardiac output involves injecting cold saline into which port of the pulmonary artery catheter?