 In any event , later that year the US Military Academy hired a former world champion professional wrestler , Tom Jenkins , instead of a judo teacher , a job Jenkins kept until his retirement in 1942 . 
