The pH of Enceladus’ ocean