US housing prices jumped a record 16.6% in May.