Brian herman won the british open championship 2023