Korteweg-de Vries on the half-line