Cytochrome c oxidase: the presumptive channel holds at least four water molecules