Dirac's theorem for random regular graphs. (28th January 2021)