7a5 Public Swimming Pools depth markings and no diving