Dirac's theorem on chordal graphs