Is the pool safe for diving?