Which of the fluids listed is normally used to condense the primary refrigerant in an indirect shipboard central air conditioning system?