U.S. Existing-Home Prices Hit Record High in May