I have a 13 HP model very similar to this:
http://www.mitm.com/products/consumer-pressure-washers/work-pro-series/WP-4000-5MHB/384/
The thing was about $2K new but was able to get it used (and in mint condition) for less than $500 about 6 years ago off CL. Unfortunately, I just had to replace the pump ($300). The unit puts out up to 4,000 PSI at about 4 GPM. It takes the top layer of concrete off my driveway ...
Of the models you posted the "best" is the Honda but neither may be a good choice, depending upon how you use it. Consider the size of the job, what you are going to be cleaning, the max pressure the unit puts out and the max flow rate. Both units posted may do an adequate job on smaller projects but will be limited by lower pressure and flow rates. This will translate into taking longer to get the job done. Additionally, the Honad unit uses an inexpensive axial pump which is the least effective and shortest (but cheapest) type of pump.
Good luck ...