US home sales ran 15% below average in May with prices at record high