Michael van Gerwen was one dart away from a nine-darter before Michael Smith completed the achievement in the World Championship Final.