Large-Campus District Cooling