Original size, axle threads bad.
Not a shiny hardware store nut, a dark oxided nut with the tall castle tips for max thread engagement. Looks old, original or correct application to me, but then I'm a greenhorn.
This is the route I'll go here, as I really don't want to remove the whole axle...