baseball field to be named in honor of dave hall