I called the local JD service department this morning and they have no idea what tool is needed either.
Well the only real way to find out is to get access the king pin bolt and use a caliper.
I did find this spec for the bolt.
View attachment 60391
So if it is a 1"- 12 or 14 bolt the head size is most likely 1-1/2".