Here's a used one that could be resharpened to the correct diameter.
www.ebay.com/itm/374243471643?At that price, I'm going to snap it up and have one of my tool and die maker friends do a custom sharpening job. That's normally a $500.00+ item.
Here's a new one that would have to be sharpened down 1/4" smaller on the diameter- - - - -that's a lot of precision grinding!
www.ebay.com/itm/195774726603?Jerry