The batting circle during a professional baseball game