Measurement of the Total Proton-Proton Cross Section at the ISR