By the way, Brooks Koepka finished up the round with a huge lead at the PGA Championship and another entry in the major championship record book.