Looking in my manual for the F series, I don't see anything with same engine # but I suspect this engine is somewhat special for JD. And like with Mike's comments, the 72 is the bore in mm and was found on the F15 models, 3T72H-N. Likely engine HP is in the 17-18HP range. Don't see any engines with 3TNAxx designation but did see one model with 3TNB80-U that was used on the F18's.
For Yanmar, the first 2 digets of the model # is pto HP.