There are dozens of "flavors" of the Honda GXV190 engine, and there is an exact, matching version for your HRX217VKA mower, but the trouble is, it is expensive. A direct replacement engine from Honda has a list price of $350~$360. You'd transfer over some parts, like the exhaust/muffler, but the base block, piston, valvetrain, etc. are all 100% new with a factory warranty. Depending on the labor costs, it would probably be less costly to rebuild the old one, but you'd need to get a firm quote on parts to be sure.
Plan B would be to shop around for another HRX; pretty good chance you could find a gently used one for less than the cost of a new engine. If you get lucky, it may even have some factory warranty remaining. To confirm, drop me a Private Message with the serial number off the back of the mower deck, and I'll look-up to see if any warranty remains.
For a replacement engine, be aware not just any GXV190 will do the job; your VKA model requires an engine with the correct set-up for use with mower blades, engine speed, etc. so a pressure-washer or generic GXV190 engine, while attractive in price, is not the best fit for your mower.
