Brooks Koepka wins the U.S. Open.