A Tribute to Paul Erdős: Hamilton cycles in random graphs of minimal degree at least k