Deerfield Park District Holds Grand Opening for Mitchell Pool