The diamond one should work.

Many professional sharpeners use some kind of belt system. A cheap belt sander with fine belts will give you a polished razor edge in about 2 minutes. Even a maul with all kinds of dings in the edge can be made razor sharp in just a few minutes.