Brooks Koepka wins US Open