Export thread

Hello all,
I can find this pulley on the Honda parts websites, but there is no part number. Item 15 I believe.
Transmission number is 20001-vl0-m00
Does anybody know the part number for this? Possibly have a link?
My son's lawn mower and I would hate to have to buy $155 transmission just for the pulley on top.
Btw, his fell off, then at some point got lost....

Btw, his has the threaded shaft, so pulley #18 plus woodruff key wouldn't work....

Anybody??