I think that was probably an original tune by Holst, called Thaxted because that was where he lived. Though of course it might have been around a few times already.

Any good tune is likely to turn up all over the place, and not necessarily because of copying - there is only a limited number of notes after all.   A really totally original tune probably won't be much cop as a tune.