Mark Patterson sets pool record